منابع مشابه
SLAB Benchmarks
Abstraction and slicing are both techniques for reducing the size of the state space to be inspected during verification. In the paper [1], we present a new model checking procedure for infinite-state concurrent systems that interleaves automatic abstraction refinement, which splits states according to new predicates obtained by Craig interpolation, with slicing, which removes irrelevant states...
متن کاملFragmented Monitoring
Field data is an invaluable source of information for testers and developers because it witnesses how software systems operate in real environments, capturing scenarios and configurations relevant to end-users. Unfortunately, collecting traces might be resource-consuming and can significantly affect the user experience, for instance causing annoying slowdowns. Existing monitoring techniques can...
متن کاملSlab pull, slab weakening, and their relation to deep intra-slab seismicity
[1] Subduction zone seismicity is highly variable. Great earthquakes occur at few subduction zones around the world, with significant variation in size and frequency of deep events. Interactions between overriding and subducting plates and slab pull strength for individual plates provide a framework for understanding these variations. Previous work suggests an inverse correlation between great ...
متن کاملThe Fragmented Orchestra
The Fragmented Orchestra is a distributed musical instrument which combines live audio streams from geographically disparate sites, and granulates each according to the spike timings of an artificial spiking neural network. This paper introduces the work, outlining its historical context, technical architecture, neuronal model and network infrastructure, making specific reference to modes of in...
متن کاملOn Fragmented Markets (DRAFT)
Centralized markets reduce the costs of search for buyers and sellers. More importantly, their ‘thickness’ increases the chance of of order execution at competitive prices. In spite of the incentives to consolidate, some markets, securities markets being the most notable, have fragmented into multiple trading venues. We argue in this paper that fragmentation is an unavoidable feature of any cen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Geoscience
سال: 2011
ISSN: 1752-0894,1752-0908
DOI: 10.1038/ngeo1343